2621. Theory and Practice of Model Transformations
المؤلف: edited by Zhenjiang Hu, Juan Lara
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
2622. Theory and practice of natural computing :
المؤلف: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
2623. Theory of Digital Automat
المؤلف: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
2624. Theory of reversible computing
المؤلف: Morita, Kenichi
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Reversible computing -- Congresses,، Computer logic -- Congresses
رده :
QA
76
.
9
.
R48R3
2017
2625. Thinking-driven testing :
المؤلف: Adam Roman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
2626. Thinking machines and the philosophy of computer science
المؤلف: / [edited by] Jordi Vallverdu
المکتبة: (طهران)
موضوع: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
رده :
EBL
788
2627. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
المؤلف: edited by Ehud Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
2628. . Thomas C.Bartee
المؤلف:
المکتبة: (کردستان)
موضوع: Computer Architecture,Logic Design
رده :
AQ76
.
9/
.
A73B374
2629. Timing performance of nanometer digital circuits under process variations /
المؤلف: Victor Champac, Jose Garcia Gervacio.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Integrated circuits-- Design and construction.,Nanoelectronics-- Materials.,Radio circuits.,Circuits & components.,Computer architecture & logic design.,Electronics engineering.,Integrated circuits-- Design and construction.,Radio circuits.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7874
.
84
2630. Tools and algorithms for the construction and analysis of systems :
المؤلف: Dirk Beyer, Marieke Huisman (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
2631. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tiziana Margaria, Bernhard Steffen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
2632. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tomáš Vojnar, Lijun Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
2634. Tools for Practical Software Verification :
المؤلف: edited by Bertrand Meyer, Martin Nordio.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2012
2635. Tools for structured design: an introduction to programming logic
المؤلف: Bohl, Marilyn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Structured programming
رده :
QA
76
.
6
.
B63
1993
2636. Topics in cryptology -- CT-RSA 2018 :
المؤلف: Nigel P. Smart (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
2637. Topics in engineering logic
المؤلف: Madler, Morton.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
2639. Towards Evolvable Hardware :
المؤلف: edited by Eduardo Sanchez, Marco Tomassini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
2640. Towards a Design Flow for Reversible Logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK





